机译:命题,动作和伴随模态算符的直觉逻辑的代数,证明理论和应用
机译:命题,动作和伴随模态逻辑的代数,证明理论及其应用
机译:近似推理和有限推理:语义,证明理论,表达性和控制
机译:程序的显式和模态匹配匹配:动态逻辑的证明理论描述
机译:谓词模态逻辑的可计算性和证明理论的一些结果
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:伴随模态的实证逻辑:证明理论,语义学和信息推理
机译:语义Web的开发 - 标记语言,Web服务,规则,解释,查询,证明和推理;最后的技术部门。 2000年6月至2008年4月